An Intrinsic Barrier for Resolving P = NP (2-SAT as Flat, 3-SAT as High-Dimensional Void-Rich)
arxiv.org·16h
🎯Performance Proofs
Compute Where It Counts: a trainable LLM sparsity enabling 4x CPU speed
crystalai.org·1h·
Discuss: Hacker News
🌊Streaming Algorithms
Algebra 2 Problems of the Day (Algebra 2 Regents, August 2024 Part III)
mrburkemath.blogspot.com·7h·
Discuss: www.blogger.com
📐Linear Algebra
CRYPTO 2025: Row Reduction Techniques for n-Party Garbling
esat.kuleuven.be·2d
🌊Stream Ciphers
Experimental determination of partial charges with electron diffraction
nature.com·4h
🌈Spectroscopy
A primer on code generation in Cranelift by Benjamin Bouvier
bouvier.cc·1d
🦀Rust Macros
Building a Regex Engine
abstractsyntaxseed.com·8h·
Discuss: Lobsters, Hacker News
🔍RegEx Engines
On This Day in Math - August 20
pballew.blogspot.com·16h·
Discuss: www.blogger.com
📐Mathematical Art
Automated Q-Pulse Profile Reconstruction via Bayesian Compressed Sensing in High-Resolution NMR
dev.to·23h·
Discuss: DEV
🧲Magnetic Resonance
Qclojure: Functional quantum computer programming library for Clojure
github.com·1h·
Discuss: Hacker News
⚛️Quantum Compilers
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·1d·
Discuss: r/programming
🔤Type Theory
Hints for the Patty Paper Trisection
denisegaskins.com·2h
📐Document Calculus
Code Smell 03: Functions Are Too Long - Here's How to Fix That
hackernoon.com·7h
🔗Concatenative Programming
Computing Machinery and Intelligence (1950)
academic.oup.com·19h·
Discuss: Hacker News
🔐Capability Systems
Modular Arithmetic in Data Science
towardsdatascience.com·1d
📐Interval Arithmetic
Simpler Category Theory
ryanbrewer.dev·7h·
Discuss: Hacker News
🔀Category Theory
An Update on Pytype
github.com·3h·
Discuss: Hacker News
🎯Gradual Typing
Lisp in 99 Lines of C With TinyLisp
hackaday.com·18h
🔗Lisp
Introduction to Bluesky's AT Protocol
mackuba.eu·1h·
Discuss: Hacker News
🔌Interface Evolution
Programmable Anyon Mobility through Higher Order Cellular Automata
arxiv.org·16h
🔲Cellular Automata